Publications of Marc PANTEL
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sebastien Guilmeau, Christophe Ducamp
Toward an Operations-Dedicated Model for Space Systems
Journal of Aerospace Information Systems, 2023, pp.1-13. ⟨10.2514/1.I011093⟩
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems
ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method
IEEE Transactions on Services Computing, 2017, 10 (1), pp.107–120. ⟨10.1109/TSC.2016.2594782⟩
Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale
Correct-by-construction model driven engineering composition operators
Formal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Ning Ge, Shin Nakajima, Marc Pantel
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2015, vol. 91 (n° 10), pp. 851-868
Aurélie Hurault, Marc Pantel, Michel Daydé
Composition automatique de services de calcul – Utilisation des spécifications algébriques pour décrire la fonctionnalité des services
In : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Special issue La composition d’objets, de composants et de services, Vol. 30, N. 6/2011, pp. 685-710, June 2011.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Expérimentations en Coq pour un générateur de code qualifiable
In : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Special issue Méthodes formelles à l’analyse et la compilation, Vol. 30, N. 4/2011, pp. 409-440, April 2011.
Aurélie Hurault, Michel Daydé, Marc Pantel
Advanced service trading for scientific computing over the grid
In : Journal of Supercomputing, Springer-Verlag, Heidelberg, Allemagne, Vol. 49 N. 1, pp. 64-83, July 2009.
URL : http://www.springerlink.com/content/82w83315wt028332/
BibTeXBenoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
In : L’Objet, Hermès Science, Special issue Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, pp. 137-144, January 2008.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Abstract Interpretation-based Static Safety for Actors
In : Journal of Software (JSW), Academy Publisher, Finland, Vol. 2 N. 3, pp. 87-98, September 2007.
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel
Un framework à composants et agents pour les applications réparties à grande échelle
In : Revue des Sciences et Technologies de l’Information, série L’Objet (RSTI), Lavoisier, Vol. 12, N. 4, pp. 103-132, December 2006.
Michel Daydé, Frédéric Desprez, Aurélie Hurault, Marc Pantel
On deploying scientific software within the GRID-TLSE project
In : Computing Letters, VSP/Brill Academic Publisher, Vol. 1 N. 3, pp. 85-92, July 2005.
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors
In : L’Objet – Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, pp. 83-106, January 2000.
Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, Jérôme Golenzer, Christophe Ducamp
Introducing Operational Diagnosis Models for Ground Station Architectures using Behaviour Trees
17th International Conference on Space Operations (SpaceOps 2023), Mohammed Bin Rashid Space Centre (MBRSC), Mar 2023, Dubai, United Arab Emirates. pp.1–8
Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sébastien Guilmeau, Christophe Ducamp
Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems
11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
Nikolena Christofi, Claude Baron, X Pucel, Marc Pantel, M Machin, C Ducamp
Adopting a model-based approach for satellite operations’ diagnosis
13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
13th International Symposium on Theoretical Aspects of Software Engineering – TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
John Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock
Cyber-physical systems engineering: an introduction
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 – 410, ⟨10.1007/978-3-030-03424-5_27⟩
Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel
Model-Based Systems Engineering for Systems Simulation
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist
MEDI 2018 – The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153–158, ⟨10.1007/978-3-030-02852-7_14⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170
Renan Leroux-Beaudout, Ileana Ober, Marc Pantel, Jean-Michel Bruel
Modeling co-simulation : a first experiment
5th International Workshop on the Globalization of Modeling Languages (GEMOC 2017) co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Sep 2017, Austin, TX, United States. pp.292-297
Ning Ge, Marc Pantel, Silvano Dal Zilio
Formal Verification of User-Level Real-Time Property Patterns
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
Faiez Zalila, Eric Jenn, Marc Pantel
Model Execution and Debugging: A process to leverage existing tools
ModelsWard (5th International Conference on Model-Driven Engineering and Software Development), Feb 2017, Porto, Portugal. pp. 401-408
Faiez Zalila, Eric Jenn, Marc Pantel
Model Execution and Debugging – A Process to Leverage Existing Tools
International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.401–408, ⟨10.5220/0006143104010408⟩
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B
International Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106–121, ⟨10.1007/978-3-319-47846-3_8⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study
21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30–39
Florent Latombe, Xavier Crégut, Marc Pantel
Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency
2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18
Arnaud Dieumegard, Andres Toom, Marc Pantel
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems
International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016), Sep 2016, Pise, Italy. pp.117–132, ⟨10.1007/978-3-319-45943-1_8⟩
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
ABZ 2016 – 5th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z, May 2016, Linz, Austria. pp.290–296, ⟨10.1007/978-3-319-33600-8_23⟩
Soukayna M’Sirdi, Wenceslas Godard, Marc Pantel
A Multi-Core Interference-Aware Schedulability Test for IMA Systems, as a Guide for SW/HW Integration
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.31–38, ⟨10.1109/HASE.2016.47⟩
Guillaume Babin, Yamine Aït-Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions
1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nov 2015, Nanjing, China. pp.55–70, ⟨10.1007/978-3-319-25942-0_4⟩
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
15th International Workshop on OCL and Textual Modeling Workshop at the MODELS conference (OCL-TM 2015) co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Sep 2015, Ottawa, Canada. pp. 89-104
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B
IEEE International Conference on Services Computing (SCC 2015), Jun 2015, New York, NY, United States. pp.98–105, ⟨10.1109/SCC.2015.23⟩
Florent Latombe, Xavier Crégut, Benoit Combemale, Julien Deantoni, Marc Pantel
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE’15), co-located with MODELS’15, 2015, Ottawa, Canada
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
A formal framework to prove the correctness of model driven engineering composition operators
ICFEM’14 – 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking based on Data Mining
4th International Conference On Model and Data Engineering, Sep 2014, Larnaca, Cyprus. pp.13-28, ⟨10.1007/978-3-319-11587-0_4⟩
Arnaud Dieumegard, Andres Toom, Marc Pantel
A software product line approach for semantic specification of block libraries in dataflow languages
18th Software Product Line Conference (SPLC 2014), Sep 2014, Florence, Italy. pp.217-218, ⟨10.1145/2648511.2648534⟩
Real-Time Property Specific Reduction for Time Petri Net
Petri Nets and Software Engineering, Jun 2014, Tunis, Tunisia. pp.165–179
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification (Journées FAC 2014)
Journées Formalisation des Activités Concurrentes (Journées FAC 2014), Apr 2014, Toulouse, France
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
Correct-by-construction model composition: Application to the Invasive Software Composition method
International Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model V&V
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
A UML-MARTE Temporal Property Verification Tool based on Model Checking
International Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Arnaud Dieumegard, Andres Toom, Marc Pantel
Formal specification of block libraries in dataflow languages
Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Andres Toom, Arnaud Dieumegard, Marc Pantel
Specifying and Verifying Model Transformations for Certified Systems using Transformation Models
Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic failure analysis in model Validation &Verification (ERTS 2014)
7th European Conference on Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics; Information & Communication Technologies, Feb 2014, Toulouse, France. pp.(electronic medium)
Faiez Zalila, Xavier Crégut, Marc Pantel
A user-oriented approach to integrate formal verification activity for DSML
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Benoit Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013) (regular paper)
In : International Workshop on the Globalization of Modeling Languages (GEMOC 2014), Miami, USA, 29/09/14, CEUR-WS : Workshop proceedings, pp. 3-13, September 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
A transformation-driven approach to automate feedback verification results (regular paper)
In : International Conference On Model and Data Engineering (MEDI 2013), Amantea, Calabria, Italy, 25/09/13-27/09/13, Springer, Lecture Notes in Computer Science, pp. 266-277, 2013.
Ning Ge, Shin Nakajima, Marc Pantel
Hidden Markov Model Based Automated Fault Localization for Integration Testing (regular paper)
In : International Conference on Software Engineering and Service Science (ICSESS 2013), Beijing, 23/05/13-25/05/13, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), May 2013.
Ning Ge, Shin Nakajima, Marc Pantel
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model (regular paper)
In : Symposium on Theory and Modeling of Simulation (TMS/DEVS 2013), San Diego, 07/04/13-10/04/13, ACM : Association for Computing Machinery, (electronic medium), April 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, 29/09/13-04/10/13, Springer-Verlag, (electronic medium), September 2013.
Eric Feron, Guillaume Brat, Pierre-Loïc Garoche, Pete Manolios, Marc Pantel
Formal methods for aerospace applications (short paper)
In : Formal Methods for Computer Assisted Design (FMCAD 2012), Cambridge, 22/10/12-25/10/12 (invited speaker), IEEE : Institute of Electrical and Electronics Engineers, pp. 3-3, October 2012.
Ricardo Bedin Franca, Sandrine Blazy, Denis Favre-Félix, Xavier Leroy, Marc Pantel, Jean Souyris
Formally verified optimizing compilation in ACG-based flight control software (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (on line), April 2012.
URL : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-3.pdf
BibTeXAndres Toom, Arnaud Dieumegard, Marc Pantel
Specification and Validation of Model Transformations for Certified Systems Development (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (on line), April 2012.
URL : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-6.pdf
BibTeXTime Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (on line), April 2012.
URL : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-5.pdf
BibTeXArnaud Dieumegard, Marc Pantel
Vérification dun générateur de code par génération dannotations (short paper)
In : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (on line), 2012.
URL : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Dieumegard-paper34.pdf
BibTeXFaiez Zalila, Xavier Crégut, Marc Pantel
Verification results feedback for FIACRE intermediate language (student paper)
In : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (on line), 2012.
URL : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Zalila-paper40.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Time Properties Dedicated Framework for UML-MARTE Safety Critical RTES Verification (regular paper)
In : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (on line), 2012.
URL : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Ge-paper37.pdf
BibTeXJean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel
EMF Model transformation with TOM (poster)
In : Software Language Engineering (SLE 2012), Dresden, Germany, 25/09/12-28/09/12, Springer-Verlag, pp. 0-0, September 2012.
Timothy Wang, Arnaud Dieumegard, Eric Feron, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche
Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)
In : Safe and Secure Systems and Software Symposium (S5 2012), Fairborn, Ohio, USA, 12/06/12-14/06/12, UNKNOWN, pp. 0-0, 2012.
Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel
Tom-based tools to transform EMF models in avionic context (regular paper)
In : Industrial Track of Software Language Engineering (ITSLE 2012), Dresden, Germany, 25/09/12-28/09/12, Springer-Verlag, pp. 0-0, September 2012.
Benoit Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and associated V&V tools (short paper)
In : Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, China, 04/12/12-07/12/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 282-287, 2012.
Arnaud Dieumegard, Andres Toom, Marc Pantel
Model-based formal specification of a DSL library for a qualified code generator (regular paper)
In : Workshop on OCL and Textual Modelling, Innsbruk, Austria, 30/09/12-05/10/12, ACM : Association for Computing Machinery, pp. 61-62, 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Leveraging formal verification tools for DSML users: a process modeling case study (regular paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Amirandes, Heraclion, Crete, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, pp. 329-343, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Formal specification and verification of task time constraints for real-time systems (regular paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Héraclion, Crète, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, pp. 143-157, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2012), Lyngby, Danemark, 02/07/12-05/07/12, Vol. 7349, Springer, Lecture Notes in Computer Science, pp. 352-367, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE Activity to Time Transition System (regular paper)
In : International workshop UML and Formal Methods (UML&FM’2012 2012), Paris, 27/08/12-31/08/12, Vol. 37, ACM : Association for Computing Machinery, SIGSOFT Software Engineering Notes 4, pp. 1-8, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
In : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (on line), 2012.
Abstract URL : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXJean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel, Xavier Crégut
Model Transformations with Tom (regular paper)
In : Language Descriptions, Tools and Applications (LDTA 2012), Tallinn, Estonia, 31/03/12-01/04/12, ACM : Association for Computing Machinery, (electronic medium), March 2012.
Matteo Bordin, Tonu Naks, Andres Toom, Marc Pantel
Compilation of Heterogeneous Models: Motivations and Challenges (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, SIA/3AF/SEE, (electronic medium), February 2012.
First steps toward a Verification and validation ontology (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, SIA/3AF/SEE, (electronic medium), February 2012.
Ricardo Bedin Franca, Marc Pantel, Sandrine Blazy, Denis Favre-Félix, Jean Souyris , Xavier Leroy
Formally verified optimizing compilation in ACG-based flight control software (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, 01/02/12-03/02/12, SIA/3AF/SEE, (electronic medium), February 2012.
Arnaud Dieumegard, Marc Pantel
Vérification d’un générateur de code par génération d’annotations (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (on line), April 2011.
URL : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/GeneCode.pdf
BibTeXFaiez Zalila, Xavier Crégut, Marc Pantel
Spécification et vérification de patrons de propriétés pour des langages dédiés (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (on line), April 2011.
URL : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/Patrons.pdf
BibTeXRicardo Bedin Franca, Denis Favre-Félix, Xavier Leroy, Marc Pantel, Jean Souyris
Towards Formally Verified Optimizing Compilation in Flight Control Software (regular paper)
In : Bringing Theory to Practice : workshop at Predictability and Performance in Embedded Systems (PPES 2011), Grenoble, France, 18/03/11, Schloss Dagstuhl – Leibniz Center for Informatics, (electronic medium), March 2011.
Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux
A proof assistant based formalization of MDE components (regular paper)
In : Formal Aspects of Component Software (FACS 2011), Oslo, Norway, 14/09/11-16/09/11, Vol. 7253, Springer, Lecture Notes in Computer Science, (electronic medium), September 2011.
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite algorithm – From trees to graphs (regular paper)
In : International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, 23/07/10-25/07/10, María Alpuente (Eds.), Springer, (on line), March 2011.
Abstract URL : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2010SchorrWaite.html
BibTeXNassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine-Checked Sequencer for Critical Embedded Code Generator (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2010), Toulouse, France, 31/03/10-01/04/10, ONERA, (electronic medium), April 2010.
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite algorithm – From trees to graphs (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2010), Toulouse, France, 31/03/10-01/04/10, ONERA, (on line), April 2010.
Abstract URL : http://seminaire-verif.enseeiht.fr/FAC/2010/actes.html
BibTeXPremières expériences pour l’édition correcte par construction de modèles (short paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), LISI / ENSMA, Poitiers, France, 06/06/10-11/06/10, Yamine Aït-Ameur (Eds.), LISI-ENSMA, pp. 217-221, June 2010.
Abstract URL : http://www.irit.fr/publis/ACADIE/afadl2010.pdf
BibTeXFirst steps toward a Verification and validation ontology (student paper)
In : International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), Valencia, Spain, 25/10/10-28/10/10, INSTICC – Institute for Systems and Technologies of Information, Control and Communication, (electronic medium), October 2010.
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper)
In : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/09, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 80-87, March 2010.
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TOPCASED Platform (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/10-18/06/10, Springer, pp. 90-103, June 2010.
Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux
Use of Formal Methods for Building Qualified Code Generator for Safer Automotive Systems (regular paper)
In : Critical Automotive applications: Robustness & Safety @ European Dependable Computing Conference (CARS@EDCC 2010), Valencia, 27/04/10-30/04/10, ACM : Association for Computing Machinery, pp. 53-56, April 2010.
Alexandre Cortier, Jean-Paul Bodeveix, Marc Pantel, Martin Strecker, Gérald Garcia, Eric Morand, Ana-Helena Rugina, Jean-Pierre Talpin
Synoptic : a Domain Specific Modeling Language for Embed- ded Real-Time Flight Software Design (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
Andres Toom, Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Tonu Naks
Towards Reliable Code Generation with an Open Tool: Evolutions of the GeneAuto Toolset (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Ordonnanceur vérifié pour un générateur de code automatique qualifiable (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2009), Toulouse, France, 01/04/09, IRIT, (on line), April 2009.
URL : http://seminaire-verif.enseeiht.fr/FAC/2009/Papiers/32.pdf
BibTeXAurélie Hurault, Frédéric Camillo, Michel Daydé, Ronan Guivarch, Marc Pantel, Chiara Puglisi, Hrachya Astsatryan
Semantic Description of Services: Issues and Examples
In : Computer Science and Information Technologies, Yerevan (Arménia), 28/09/09-02/10/09.
URL : http://www.csit.am/2009/proceedings/8CGC/11.pdf
BibTeXNassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Integrated Formal Approach for Qualified Critical Embedded Code Generator (short paper)
In : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven – The Netherlands, 02/11/09-03/11/09, Springer-Verlag, pp. 199-201, 2009.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine Checked Sequencer for Critical Embedded Code Generator (regular paper)
In : International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, 09/12/09-12/12/09, Springer-Verlag, pp. 521-540, December 2009.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Martin Strecker
Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/53.pdf
BibTeXBenoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/43.pdf
BibTeXHrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
A Grid-Aware Web Interface with Advanced Service Trading for Linear Algebra Calculations.
In : International Meeting High Performance Computing for Computational Science (VECPAR 2008), Toulouse, 24/06/08-27/06/08, Springer, lncs 5336, pp. 150-159, 2008.
Andres Toom, Tonu Naks, Marc Pantel, Marcel Gandriau, Indra Wati
GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), 2008.
Nassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker
Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), 2008.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), January 2008.
Model Driven Engineering: Bringing formal validation into the industrial process
In : ARTIST Workshop: Tool Platforms for Embedded Systems Modelling, Analysis and Validation, co-located with CAV’07, Berlin, 01/07/07-02/07/07 (invited speaker).
URL : http://www.artist-embedded.org/docs/Events/2007/CAV_ToolPlatforms/05-Pantel-ArtistCAV.pdf
BibTeXThe TOPCASED project: a Toolkit in OPen source for Critical Applications & SystEms Design
In : Model-Driven Development Tool Implementers Forum (MDD-TIF 2007), Zurich, 24/06/07, Domain Specific Modelling Forum (DSMF), (on line), June 2007.
URL : http://www.dsmforum.org/events/MDD-TIF07/TOPCASED.pdf
BibTeXPatrick Amestoy, Michel Daydé, Ronan Guivarch, Christophe Hamerling, Marc Pantel
Use of Scenarios for Generating Dynamic Execution Workflows over the Grid within the Grid-TLSE project
In : International E-Conference on Computer Science, Electronic Conference, 10/07/06-14/07/06, Vol. 8, Theodore Simos, Georgios Psihoyios (Eds.), BRILL, Lecture Series on Computer and Computational Science, pp. 1-11, September 2007.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Spécification et Vérification par Interprétation Abstraite d’Aspects pour la Distribution
In : Formalisation des Activités Concurrentes (FAC 2007), Toulouse, France, 16/03/07-16/03/07, CNRS, (on line), March 2007.
Hrachya Astsatryan, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
On defining a Web Interface for Linear Algebra Tasks over Computational Grids
In : International Conference on Computer Science and Information Technologies (CSIT’07), Yerevan (Arménie), 24/09/07-28/09/07.
Patrick Amestoy, Frédéric Camillo, Michel Daydé, Luc Giraud, Ronan Guivarch, Victoria Moya Laniel, Marc Pantel, Chiara Puglisi
Goal and Status of the TLSE Platform
In : First REDIMPS Workshop, Tokyo (Japan), 29/05/07.
URL : http://redimps.enseeiht.fr/Redimps_07_08/06dayde.pdf
BibTeXThe TOPCASED framework for editor generation.
In : Eclipse Technology eXchange workshop (eTX), Nantes, 04/07/06.
An ATL-based MDE approach to add textual concrete syntax to models.
In : 2nd AMMA/ATL Worshop on Model Driven Engineering, Nantes, 03/05/06-04/05/06.
TOPCASED, a MDE-based Toolkit for OPen source Critical Application and SystEm Development.
In : 2nd AMMA/ATL Workshop on Model Driven Engineering, Nantes, 03/05/06-04/05/06.
URL : http://www.sciences.univ-nantes.fr/lina/atl/www/presentations/awme2/08%20-%20TOPCASED%20(Pantel).pdf
BibTeXTOPCASED, ingénierie des modèles pour les systèmes critiques
In : Journées Kermeta, Rennes, 10/10/06.
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Sémantique et méta-modélisation
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXMarc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Simulation et ingénierie des modèles
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXPatrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel
The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (electronic medium), January 2006.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Analysis of Actors: From Type Systems to Abstract Interpretation
In : International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Vienna, Austria, 25/03/06-02/04/06, Francesco Ranzato (Eds.).
Michel Daydé, Aurélie Hurault, Marc Pantel
Semantic-based Service trading: Application to Linear Algebra
In : VECPAR’06 – Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/06-13/07/06, Springer-Verlag, LNCS 4395, pp. 622-633, 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Sémantique dans la méta-modélisation
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/06-28/06/06, Université de Lille, pp. 17-33, June 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Towards rigorous metamodeling
In : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos – Cyprus, 23/05/06, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, pp. 1-15, May 2006.
Patrick Amestoy, Michel Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi
Management of services based on a semantic description within the GRID-TLSE project
In : VECPAR’06 – Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/06-13/07/06, Springer-Verlag, LNCS 4395, pp. 634-643, July 2006.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
In : IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4037, Roberto Gorrieri, Heike Wehrheim (Eds.), Springer, LNCS , pp. 78-92, June 2006.
Michel Daydé, Aurélie Hurault, Marc Pantel
Gridification of Scientific Application Using Software Components: the Grid-TLSE Project as an illustration
In : CSIT 2005, Yerevan, Armenia, 19/09/05-23/09/05, National Academy of Siences of Armenia, Yerevan, Armenia, pp. 419-427, September 2005.
Mathematical Service Trading Based on Equational Matching
In : Calculemus’05: 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Newcastle, 18/07/05-22/07/05, Electronic Notes in Theoretical Computer Science, July 2005.
Aurélie Hurault, Marc Pantel, Frédéric Desprez
Recherche de services en algèbre linéaire sur une grille
In : Rencontre du Parallélisme, Le Croizic, France, 06/04/05-08/04/05, EMN-ASF, pp. 207-212, April 2005.
Marc Pantel, Chiara Puglisi, Patrick Amestoy
Grilles, Composants et Calcul scientifique
In : Rencontre du Parallélisme, Le Croizic, 06/04/05-08/04/05, EMN-ASF, pp. 113-124, April 2005.
Introduction au Cycle de Séminaires ‘Grilles de Calcul et de Données’
In : Séminaires IRIT, Toulouse, 04/11/04.
Patrick Amestoy, Max Buvry, Michel Daydé, Luc Giraud, Christophe Hamerling, Jean-Yves L’Excellent, Marc Pantel, Chiara Puglisi
The Grid-TLSE Project : Goals and Current Status
In : Workshop Franco-Coréen, IRISA, Rennes, 22/07/04.
Michel Daydé, Luc Giraud, Montse Hernandez, Jean-Yves L’Excellent, Marc Pantel, Chiara Puglisi
An Overview of the GRID-TLSE Project
In : 6th International Meeting VECPAR’04, Valencia, Espagne, 28/06/04-30/06/04, Michel Daydé, Jack Dongarra, Vicente Hernandez, Jose Palma (Eds.), Universidad Politécnica de Valencia, pp. 851-856, June 2004.
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel
Development of Flexible Peer-to-Peer Information Systems using Adaptable Mobile Agents
In : 1st Int. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE’04), Zaragoza, Spain, 30/08/04-03/09/04, IEEE Computing Society, pp. 549-553, August 2004.
Marc Pantel, Chiara Puglisi, Patrick Amestoy
Approche composant et Calcul numérique
In : Workshop «What have we learned ?», Ecole d’été GRID-Use-2004, Metz, 24/06/04-25/06/04.
URL : http://www.metz.supelec.fr/metz/personnel/vialle/GridUSe2004/index.html
BibTeXSébastien Leriche, Jean-Paul Arcangeli, Marc Pantel
Agents mobiles adaptables pour les systèmes d’information pair à pair hétérogènes et répartis
In : Nouvelles Technologies de la Répartition, NOTERE 2004, Saidia (Ma.), 27/06/04-30/06/04, CIISE – ENST – Univ. Mohammed 1er, pp. 29-43, June 2004.
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel
Déploiement de composants de recherche d’information par des agents mobiles
In : 3ème Workshop sur les Objets, Composants et Modèles dans l’Ingénierie des Systèmes d’Information, Biarritz, 25/05/04-25/05/04, INFORSID – GDR I3, pp. 55-61, May 2004.
Max Buvry, Michel Daydé, Marc Pantel, Chiara Puglisi
TLSE Project: A Grid-based Expertise Site for Sparse Matrix Solvers
In : AcrossGrids 2004, Nicosia, Cyprus, 28/01/04-30/01/04.
Aurélie Hurault, Vincent Hennebert, Marc Pantel
Répartition et mobilité en JavAct: une approche dérivée d’un modèle formel
In : Langages et Modèles à Objets, Lille, 15/03/04-17/03/04, Editions Hermès, pp. 47-61, March 2004.
Introduction de la répartition et da la mobilité dans le calcul concurrent CAP : Étude bibliographique
In : Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, pp. 1-20, March 2004.
Vincent Hennebert, Marc Pantel
Typage de JavAct, Approche dérivée du typage de CAP
In : Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, pp. 1-12, March 2004.
Vincent Hennebert, Marc Pantel
Typage de comportements non uniformes, Applications à JavAct
In : Journées Objets, Composants et Modèles, Lille, 16/03/04.
Grid-TLSE: un site d’expertise en algèbre linéaire creuse
In : Distributed Computing and Data day, Strasbourg, 06/05/03.
URL : http://cdsweb.u-strasbg.fr/meeting3/planning_en.htm
BibTeXGrid-TLSE: A Web expertise site for sparse linear algebra
In : Sparse Days and Grid Computing at St Girons, St Girons, 09/06/03-13/06/03.
Matthias Colin, Marc Pantel, Xavier Thirioux
Analyse statique de la communication dans un langage d’Acteurs
In : Formalisation des Activités Concurrentes, Toulouse, 12/03/03-13/03/03, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, pp. 1-18, March 2003.
Matthias Colin, Xavier Thirioux, Marc Pantel
Temporal logic based static analysis for non uniform behaviours
In : Formal Methods for Open Object-based Distributed Systems, Paris, 19/11/03-21/11/03, Springer Verlag – LNCS, pp. 94-108, November 2003.
Max Buvry, Michel Daydé, Marc Pantel, Chiara Puglisi
The GRID-TLSE Project : Designing a Web Expert Site for Sparse Matrices
In : Fourth Conference on Computer Science and Information Technologies, Yerevan, Armenia, 22/09/03-26/09/03.
Jean-Paul Arcangeli, Christine Maurel, Frédéric Migeon, Marc Pantel, Patrick Sallé
Ingénierie des applications mobiles
In : Journée Objet Composants et Modèles, Vannes, 05/02/03-05/02/03.
Static analysis of communications for Erlang
In : 8th International Erlang/OTP User Conference, Älvsjö, Suède, 19/11/02, Ericsson Telecommunication, pp. 1-12, November 2002.
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé
Conception d’un protocole de communication paresseuse dans un environnement distribué d’acteurs
In : RENcontre francophone du PARallèlisme, Paris, 23/04/01-25/04/01, ., April 2001.
Programmation Concurrente et Répartie par Acteurs – Vérification statique de programmes répartis
In : Journées Parallèlisme, Répartition et Objets, Toulouse, 15/03/01-16/03/01.
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé
Communication between Actors in a distributed environment
In : Conference on Simulation Methods and Applications, Orlando, 29/10/00-31/10/00, ., October 2000.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des typages fonctionnels et concurrents d’un langage fonctionnel d’Acteurs
In : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, February 1999.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des Typages Fonctionnel et Concurrent d’un Langage Fonctionnel d’Acteurs
In : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, pp. 227-252, February 1999.
Programmation Concurrente et Répartie par Acteurs – Détection de problèmes de vivacité par analyse statique
In : Journées Parallèlisme, Répartition et Objets, Lille, 25/11/99-26/11/99.
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
In : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, pp. 371-386, February 1999.
Fabien Dagnat, Marc Pantel, Patrick Sallé
ML-Act, un langage fonctionnel d’Acteurs
In : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, February 1998.
Marc Pantel, Patrick Sallé, Najat Rafalia, Abdelatif El Faker
Communication et transfert des données dans un environnement distribué d’acteurs
In : Colloque Africain sur la Recherche en Informatique, Dakar, 12/10/98-15/10/98, ., October 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
From set based to multiset based analysis: A practical approach
In : Workshop on set constraints and set based analysis, Pise, 28/10/98, Pise Univ., pp. 1-10, October 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyses Statiques de langages d’Acteurs
In : Journées du GDR Programmation, Rennes, 12/11/97-14/11/97.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in actors languages
In : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, –, -, October 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyse de linéarité par typage dans un calcul d’acteurs
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
A set-constraint-based analysis of actors
In : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, –, Chapman and Hall, pp. 107-122, July 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
CAP: An Actor dedicated process calculus
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, July 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’Acteurs primitifs (CAP)
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
An actor dedicated process calculus
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, –, -, May 1996.
Christiane Massoutié, Marc Pantel, Patrick Sallé, A. El-Faker
Vers une machine virtuelle pour l’évaluation des langages d’acteurs
In : Actes de la conférence Langages et Modèles à Objets, –, .
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’acteurs primitifs
In : Journées du G.D.R. Programmation, Grenoble, -, November 1995.
Jean-Louis Colaço, Marc Pantel
Evaluation du langage Fol : Une machine abstraite pour le filtrage paresseux
In : Actes des Journées du Groupement De Recherche en Programmation, –, .
Typage souple pour le langage Fol
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1994.
Yamine Aït-Ameur, Ismail Mendil, Guillaume Dupont, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
A generic model for system substitution
Romanovsky, Alexander; Ishikawa, Fuyuki. Trustworthy Cyber-Physical Systems Engineering, 4, Chapman & Hall, CRC Press, pp.75–103, 2016, Computer and Information Science Series, 978-1498742450
Timothy Wang, Romain Jobredeaux, Heber Henrencia, Pierre-Loïc Garoche, Eric Feron, Marc Pantel
From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems
Féron, Eric. Advances in Control System Technology for Aerospace Applications, Springer-Verlag, pp.137–180, 2015, 978-3-662-47693-2. ⟨10.1007/978-3-662-47694-9_5⟩
Eddy Caron, Frédéric Desprez, Jean-Yves L’Excellent, Christophe Hamerling, Marc Pantel, Chiara Puglisi
Use of A Network Enabled Server System for a Sparse Linear Algebra Application
In : Future Generation Grids. Michel Cosnard, Vladimir Getov, Alexander Reinefeld, Domenico Talia (Eds.) , Springer Verlag, Vol. 2, CoreGrid Series, 2005.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in Actor languages
In : Object-Oriented Parallel and Distributed Programming. Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, Akinori Yonezawa (Eds.) , Hermès Science, 8, quai du Marché-Neuf, 75004 Paris, France, pp. 53-72, January 2000.
Représentations et Transformations : Un modèle de la réutilisabilité dans les langages fonctionnels à objets
Master’s Thesis, Institut National Polytechnique de Toulouse, February 1994.
Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel
EMF Model transformation with TOM (poster)
In : Software Language Engineering (SLE 2012), Dresden, Germany, 25/09/12-28/09/12, Springer-Verlag, pp. 0-0, September 2012.
Clock Constraints Specification Langage : A mechanized denotational semantics in Agda
2017
Ning Ge, Marc Pantel, Bernard Berthomieu
A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker
2016
Florent Latombe, Xavier Crégut, Marc Pantel
Tailoring Models of Concurrency to eXecutable Domain-Specific Modeling Languages
2016